Control system / Computer Software / Design process / Real Time Systems / Real Time Scheduling / Design Methodology / Systems / Constraint Solving / Real Time / Automatic code generation / Task Allocation / Boolean Satisfiability / Systems Architecture / Nonlinear Optimization / Design Methodology / Systems / Constraint Solving / Real Time / Automatic code generation / Task Allocation / Boolean Satisfiability / Systems Architecture / Nonlinear Optimization
Information Systems / Cognitive Science / Natural Language Processing / Semantic Web / Knowledge Representation / Semantic Annotation / Ambiguity Resolution / Web Service / Automatic code generation / Natural Language Understanding / Data Format / Semantic Annotation / Ambiguity Resolution / Web Service / Automatic code generation / Natural Language Understanding / Data Format
Object Oriented Design / Design method / Real Time Systems / Real Time Scheduling / Real Time / Automatic code generation / Object-oriented languages / Design and Development / Object Oriented Technology / Object Oriented / real time power system operation and control / Feasibility Analysis / Object oriented methods / Automatic code generation / Object-oriented languages / Design and Development / Object Oriented Technology / Object Oriented / real time power system operation and control / Feasibility Analysis / Object oriented methods